五维热传导方程的一族两层显格式

构造了五维热传导方程的一族两层显格式,证明了当截断误差阶为O（τ＋h2）时,其稳定性条件为网比r=hτ2≤21,优于同类的其它显格式,当截断误差阶为O（τ2＋h2）时,可以得到一个简洁而实用的二阶精度的两层显格式.     

A secondary semantics for Second Order Intuitionistic Propositional Logic

In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

在奇次Legendre多项式零点上的（0，2）*插值

设Ｐ_ｎ表示ｎ次Ｌｅｓｅｎｄｒｅ多项式，本文考虑多项式（１－ｘ²）Ｐ_ｎ．（ｘ）／ｘ（ｎ为奇数）零点上的（０，２）^*插值问题，得到了这种插值的正则性，显式表达式及收敛性．     

Explicit analytical solutions of the anisotropic Brinkman model for the natural convection in porous media (Ⅱ)

Some algebraically explicit analytical solutions are derived for the anisotropic Brinkman model―an improved Darcy model―describing the natural convection in porous media. Besides their important theoretical meaning (for example, in analyzing the non-Darcy and anisotropic effects on the convection), such analytical solutions can be the benchmark solutions that can promote the development of computational heat and mass transfer. Some solutions considering the anisotropic effect of permeability have been given previously by the authors, and this paper gives solutions including the anisotropic effect of thermal conductivity and the effect of heat sources.     

High‐order compact numerical schemes for non‐hydrostatic free surface flows

The development of a numerical scheme for non‐hydrostatic free surface flows is described with the objective of improving the resolution characteristics of existing solution methods. The model uses a high‐order compact finite difference method for spatial discretization on a collocated grid and the standard, explicit, single step, four‐stage, fourth‐order Runge–Kutta method for temporal discretization. The Cartesian coordinate system was used. The model requires the solution of two Poisson equations at each time‐step and tridiagonal matrices for each derivative at each of the four stages in a time‐step. Third‐ and fourth‐order accurate boundaries for the flow variables have been developed including the top non‐hydrostatic pressure boundary. The results demonstrate that numerical dissipation which has been a problem with many similar models that are second‐order accurate is practically eliminated. A high accuracy is obtained for the flow variables including the non‐hydrostatic pressure. The accuracy of the model has been tested in numerical experiments. In all cases where analytical solutions are available, both phase errors and amplitude errors are very small. Copyright © 2006 John Wiley & Sons, Ltd.     

空间-时间分数阶扩散方程的显式差分近似

1 引言分数阶微分方程产生于一些反常扩散模型,已经被利用于模拟在工程,物理,化学和其它科学领域的许多现象．目前已有许多研究专家学者[1][2][3][4]从理论上对方程进行了研究．数值解方面,刘发旺教授等[5,6]首先提出利用行方法求解空间分数阶扩散方程来     

A mesh stability study of FEM explicit algorithms for structural large-scale deformation impact responses

To FEM explicit algorithms for structural large-scale deformation impact responses, algorithm stability is discussed in the present paper. Algorithm stability is thought to include two aspects: One is called difference pattern stability and the other is called mesh stability. A self-adaptive adjusting method is proposed to ensure mesh stability with little amount of computation increased.     

Explicit analytical solutions of the anisotropic Brinkman model for the natural convection in porous media

Some algebraically explicit analytical solutions are derived for the anisotropic Brinkman model-an improved Darcy model-describing the natural convection in porous media. Besides their important theoretical meaning (for example, to analyze the non-Darcy and anisotropic effects on the convection), such analytical solutions can be the benchmark solutions to promoting the development of computational heat and mass transfer. For instance, we can use them to check the accuracy, convergence and effectiveness of various numerical computational methods and to improve numerical calculation skills such as differential schemes and grid generation ways.     

On the Explicit Determination of the Polar Decomposition in n-Dimensional Vector Spaces

A method for the explicit determination of the polar decomposition (and the related problem of finding tensor square roots) when the underlying vector space dimension n is arbitrary (but finite), is proposed. The method uses the spectral resolution, and avoids the determination of eigenvectors when the tensor is invertible. For any given dimension n, an appropriately constructed van der Monde matrix is shown to play a key role in the construction of each of the component matrices (and their inverses) in the polar decomposition.     

A Maximum Principle for an Explicit Finite Difference Scheme Approximating the Hodgkin-Huxley Model

We analyze an explicit finite difference scheme for the general form of the Hodgkin-Huxley model, which is a nonlinear partial differential equation coupled to a set of ODEs. The system of equations describes propagation of an electrical signal in excitable cells. We prove that the numerical solution is bounded in the L^∞-norm and L² converges to a unique solution. The L^∞-bound, which is the key point of our analysis, is proved by showing that the discrete solutions are invariant in a physically relevant bounded region. For the convergence proof we use the compactness method. AMS subject classification (2000) 65F20